extern float gf_foo2;

extern float* getfloatpoint(void);
extern void setfloatpoint(float*, float);


